Pavel Materna IS TRANSPARENT INTENSIONAL LOGIC A NON - CLASSICAL LOGIC ?
نویسنده
چکیده
It is shown that: (a) classicality is connected with various criteria some of which are fulfilled by TIL while some other are not; (b) some more general characteristic of classicality connects it with philosophical realism whereas (radical) anti-realism is connected with nonclassical logics; (c) TIL is highly expressive due to its hyperintensionality, which makes it possible to handle procedures as objects sui generis. Thus TIL is classical in obeying principles of realism and non-classical in transcending some principles taught by textbooks of classical logic.
منابع مشابه
Pavel Materna CONCEPTS AS HYPERINTENSIONAL OBJECTS
The author defends the view that the notion of concept, if used in the logical (not cognitivist) tradition, should be explicated procedurally (i.e., not set-theoretically). He argues that Tichý’s Transparent Intensional Logic is an apt tool for such an explication and derives the respective definition. Some consequences of this definition concern the notions of emptiness, simple concepts, empir...
متن کاملProcedural Semantics for Hyperintensional Logic - Foundations and Applications of Transparent Intensional Logic
In this age of modern era, the use of internet must be maximized. Yeah, internet will help us very much not only for important thing but also for daily activities. Many people now, from any level can use internet. The sources of internet connection can also be enjoyed in many places. As one of the benefits is to get the on-line procedural semantics for hyperintensional logic foundations and app...
متن کاملThe Ordered-triple Theory of Language: Its History and the Current Context
In this paper, we recall the historical perspectives of the OrderedTriple Theory of Language (OTT) whose authors are Materna, Pala and Svoboda. The Ordered-Triple Theory, as the title suggests captures three fundamental components of a language system, i.e. syntax, semantics and pragmatics, and is fully comparable with similar linguistic theories. It became a starting point for further intercon...
متن کاملTemporal Aspects of Knowledge and Information
The authors of the paper have proposed a collaborative research project that should start in 2010 and proceed in three successive years. The goal of the proposed project is to develop tools and mechanisms for computer-aided natural-language analysis, knowledge management and reasoning. In a broader sense, the main objective is to propose a new solution to natural language analysis and reasoning...
متن کاملFunctional Programming Based on Transparent Intensional Logic
In the paper we introduce an interpreter of the Transperent Intensional Logic (TIL), namely the TIL-Script language, its design and implementation. TIL is a brainchild of the Czech logician Pavel Tichý and in many ways a revolutionary logical system. The work on the TILScript project is being pursued by the team of undergraduate students. The paper we provide is a brief review of the TIL-Script...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014